|
The Ax–Kochen theorem, named for James Ax and Simon B. Kochen, states that for each positive integer ''d'' there is a finite set ''Yd'' of prime numbers, such that if ''p'' is any prime not in ''Yd'' then every homogeneous polynomial of degree ''d'' over the p-adic numbers in at least ''d''2+1 variables has a nontrivial zero.〔James Ax and Simon Kochen, ''Diophantine problems over local fields I.'', American Journal of Mathematics, 87, pages 605-630, (1965)〕 ==The proof of the theorem== The proof of the theorem makes extensive use of methods from mathematical logic, such as model theory. One first proves Serge Lang's theorem, stating that the analogous theorem is true for the field F''p''((''t'')) of formal Laurent series over a finite field F''p'' with . In other words, every homogeneous polynomial of degree ''d'' with more than ''d''2 variables has a non-trivial zero (so F''p''((''t'')) is a C2 field). Then one shows that if two Henselian valued fields have equivalent valuation groups and residue fields, and the residue fields have characteristic 0, then they are elementarily equivalent (which means that a first order sentence is true for one if and only if it is true for the other). Next one applies this to two fields, one given by an ultraproduct over all primes of the fields F''p''((''t'')) and the other given by an ultraproduct over all primes of the ''p''-adic fields ''Q''''p''. Both residue fields are given by an ultraproduct over the fields F''p'', so are isomorphic and have characteristic 0, and both value groups are the same, so the ultraproducts are elementarily equivalent. (Taking ultraproducts is used to force the residue field to have characteristic 0; the residue fields of F''p''((''t'')) and ''Q''''p'' both have non-zero characteristic ''p''.) The elementary equivalence of these ultraproducts implies that for any sentence in the language of valued fields, there is a finite set ''Y'' of exceptional primes, such that for any ''p'' not in this set the sentence is true for F''p''((''t'')) if and only if it is true for the field of ''p''-adic numbers. Applying this to the sentence stating that every non-constant homogeneous polynomial of degree ''d'' in at least ''d''2+1 variables represents 0, and using Lang's theorem, one gets the Ax–Kochen theorem. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ax–Kochen theorem」の詳細全文を読む スポンサード リンク
|